Modular Typestate Checking of Aliased ObjectsBIERHOFF, Kevin; ALDRICH, Jonathan.ACM SIGPLAN notices. 2007, Vol 42, Num 10, pp 301-319, issn 1523-2867, 19 p.Conference Paper

Behavioral Interface Specification LanguagesHATCLIFF, John; LEAVENS, Gary T; LEINO, K. Rustan M et al.ACM computing surveys. 2012, Vol 44, Num 3, issn 0360-0300, 16.1-16.58Article

A meta-analysis of the distinction between reactive and proactive aggression in children and adolescentsPOLMAN, Hanneke; DE CASTRO, Bram Orobio; KOOPS, Willem et al.Journal of abnormal child psychology. 2007, Vol 35, Num 4, pp 522-535, issn 0091-0627, 14 p.Article